(Composition)
Lemme : On a : $${{\epsilon(\sigma\circ\tau)}}={{\epsilon(\sigma)\cdot\epsilon(\tau)}}$$